Перевод: с русского на английский

с английского на русский

С английского на:
Русский
С русского на:
Английский

combinatory logic

Толкование Перевод

1 комбинаторная логика

combinatory logic

Russian-english psychology dictionary > комбинаторная логика
2 логика

ло́гика ж.
logic
адапти́вная ло́гика — adaptive logic

бина́рная ло́гика — binary logic

ло́гика «большинства́» — majority logic

вероя́тностная ло́гика — probabilistic logic

ло́гика выска́зываний — propositional logic

диалекти́ческая ло́гика — dialectical logic

N-зна́чная ло́гика — N-valued logic

интенсиона́льная ло́гика — intensional logic

интуициони́стская ло́гика — intuitiotistic logic

комбинато́рная ло́гика — combinatorial [combinatory] logic

конструкти́вная ло́гика — constructive logic

мажорита́рная ло́гика — majority logic

математи́ческая ло́гика — mathematical logic

многозна́чная ло́гика — many-valued logic

мода́льная ло́гика — modal logic

нерегуля́рная ло́гика — irregular logic

отрица́тельная ло́гика — negative logic

положи́тельная ло́гика — positive logic

поро́говая ло́гика — threshold logic

ло́гика предика́тов — predicate logic

ло́гика прерыва́ния — interrupt logic

программи́руемая ло́гика — programmable logic

символи́ческая ло́гика — symbolic logic

стати́ческая ло́гика — static logic

теорети́ческая ло́гика — mathematical logic

трои́чная ло́гика — ternary logic

форма́льная ло́гика — formal logic

Русско-английский политехнический словарь > логика
3 комбинаторная логика

1. combinational logic

базовая логика — core logic

четкая логика — crisp logic

диодная логика — diode logic

тестовая логика — test logic

числовая логика — word logic

2. combinatorial logic

транзисторная логика — transister logic

арифметическая логика — arithmetic logic

встроенная логика платы — on-board logic

двухканальная логика — double-rail logic

немонотонная логика — nonmonotonic logic

3. combinatory logic

пневматическая логика — pneumatic logic

решающая логика — decision-making logic

односортная логика — single-sorted logic

твердотельная логика — solid-state logic

традиционная логика — traditional logic

Русско-английский большой базовый словарь > комбинаторная логика
4 комбинаторная логика

1) Engineering: combinational logic, combinatorial logic

2) Electronics: combination logic

3) Information technology: combinatory logic

Универсальный русско-английский словарь > комбинаторная логика
5 комбинаторная логика

combinational logic, combinatorial logic, combinatory logic

Русско-английский словарь по вычислительной технике и программированию > комбинаторная логика
6 комбинаторная логика

1) combinational logic

2) combinatory logic

Русско-английский технический словарь > комбинаторная логика

См. также в других словарях:

Combinatory logic — Not to be confused with combinational logic, a topic in digital electronics. Combinatory logic is a notation introduced by Moses Schönfinkel and Haskell Curry to eliminate the need for variables in mathematical logic. It has more recently been… … Wikipedia
combinatory logic — kombinatorinė logika statusas T sritis automatika atitikmenys: angl. combinational logic; combinatory logic; combinatorial logic vok. kombinatorische Logik, f; Schaltlogik, f rus. комбинаторная логика, f pranc. logique combinatoire, f … Automatikos terminų žodynas
combinatory logic — noun : a branch of symbolic logic that deals especially with the notion of substitution and the eliminability of variables in favor of special function symbols … Useful english dictionary
combinatory logic — noun Model of computation based on combinators … Wiktionary
Binary combinatory logic — (BCL) is a formulation of combinatory logic using only the symbols 0 and 1. BCL has applications in the theory of program size complexity (Kolmogorov complexity). DefinitionyntaxBackus ndash;Naur form: * ::= 00 | 01 | 1 emanticsThe denotational… … Wikipedia
Combinatory categorial grammar — (CCG) is an efficiently parseable, yet linguistically expressive grammar formalism. It has a transparent interface between surface syntax and underlying semantic representation, including predicate argument structure, quantification and… … Wikipedia
Logic in computer science — describes topics where logic is applied to computer science and artificial intelligence. These include:*Investigations into logic that are guided by applications in computer science. For example: Combinatory logic and Abstract interpretation;… … Wikipedia
logic — n. 1) to apply, use logic 2) clear; cold; irrefutable; simple logic 3) deductive; formal; inductive; symbolic logic 4) logic in (there is no logic in their policy) * * * [ lɒdʒɪk] cold formal inductive irrefutable simple logic … Combinatory dictionary
Category:Logic in computer science — Logic in computer science is that branch of mathematical logic which is approximately the intersection between mathematical logic and computer science. It contains: Those investigations into logic that are guided by applications in computer… … Wikipedia
Predicate functor logic — In mathematical logic, predicate functor logic (PFL) is one of several ways to express first order logic (formerly known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic… … Wikipedia
Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… … Wikipedia

Словари и энциклопедии на Академике

Перевод: с русского на английский

combinatory logic

См. также в других словарях:

Поделиться ссылкой на выделенное

Словари и энциклопедии на Академике

Перевод: с русского на английский

combinatory logic

См. также в других словарях:

Поделиться ссылкой на выделенное

Прямая ссылка: